The Free On-line Dictionary of Computing (30 December 2018):

A Language for Attributed Definitions

    (ALADIN) A language for formal specification of
   attributed grammars.  ALADIN is the input language for the
   GAG compiler generator.  It is applicative and strongly
   typed.

   ["GAG: A Practical Compiler Generator", Uwe Kastens
    et al, LNCS 141, Springer 1982].

   (1995-04-14)